IRIS

Sfoglia per Serie  CEUR WORKSHOP PROCEEDINGS

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 57 a 76 di 134
Titolo Data di pubblicazione Autore(i) File
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022 1-gen-2022 Bruno, Pierangela; Calimeri, Francesco; Cauteruccio, Francesco; Maratea, Marco; Terracina, Giorgio; Vallati, Mauro
A knowledge-based platform for the classification of accounting documents 1-gen-2019 Amelio, A.; Falcone, A.; Furfaro, A.; Garro, A.; Sacca, D.
KR&R approaches for robot manipulation tasks with articulated objects 1-gen-2018 Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
Large Scale DLV: Preliminary Results 1-gen-2019 Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Large-scale reasoning on expressive horn ontologies 1-gen-2019 Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels 1-gen-2022 Barbara, V.; Buelli, D.; Guarascio, M.; Ierace, S.; Iiritano, S.; Laboccetta, G.; Leone, N.; Manco, G.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E.
Minipref: A tool for preferences in SAT 1-gen-2020 Dodaro, C.; Previti, A.
Mitigating the Impact of out of Vocabulary Words in a Neural-Machine-Translation-based Question Answering System 1-gen-2021 Manuel, Borroto; Cuteri, Bernardo; Ricca, Francesco
Multi-sorted inverse frequent itemsets mining for generating realistic no-SQL datasets 1-gen-2021 Sacca, D.; Serra, E.; Rullo, A.
Multiple instance learning algorithm for medical image classification 1-gen-2019 Astorino, A.; Fuduli, A.; Gaudioso, M.; Vocaturo, E.
A multiple instance learning approach for the automatic classification of skin lesions 1-gen-2021 Vocaturo, E.; Zumpano, E.; Giallombardo, G.; Miglionico, G.
Multiple Instance Learning for Diabetic Retinopathy Detection 1-gen-2023 Avolio, M.; Fuduli, A.; Vocaturo, E.; Zumpano, E.
On database inconsistency measures 1-gen-2021 Parisi, F.; Grant, J.
On Merging Incompleteness and Bipolarity in Abstract Argumentation 1-gen-2023 Fazzinga, B.; Flesca, S.; Furfaro, F.; Monterosso, G.
On the Classification of cyberphysical Smart Objects in the Internet of Things 1-gen-2014 Fortino, Giancarlo; Rovella, Anna; Russo, Wilma; Savaglio, C.
On the Conditional Preference-based Argumentation Framework 1-gen-2023 Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I.
On the Extended Preference-based Constrained Argumentation Framework 1-gen-2023 Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I.
On the impact of sensors update in declarative AI for videogames 1-gen-2023 Angilica, D.; De Giorgio, G. M.; Ianni, G.
On the importance of simulation in enabling continuous delivery and evaluating deployment pipeline performance 1-gen-2018 D'Ambrogio, Andrea; Falcone, Alberto; Garro, Alfredo; Giglio, Andrea
On the Incremental Computation of Argumentation Frameworks 1-gen-2018 Alfano, Gianvincenzo; Greco, Sergio
Mostrati risultati da 57 a 76 di 134
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile